<html>
<head>
</head>
<body>
      <p>Annotates expressions in an AST with more specific information about
      their set memberships than can be determined solely from types.  More to
      come... 
      <p>After the {@link SubScopeAnnotateVisitor} has run, each {@link
      alloy.ast.FindCommand} has a {@link
      alloy.ast.FindCommand#id2Annotation} map from leaf ids of relations and
      quantified variables to {@link ExprRelationInfo} objects.  Only the
      {@link ExprRelationInfo#restrictedTo} and {@link
      ExprRelationInfo#excluded} fields are relevant for optimizations.  
</body>
</html>